workspacesView: Only clip non-primary workspace views

The primary workspace is displayed in the overview, and clipping it
ends up clipping the shadows too. Since Overview's ControlsManager
itself clips to allocation, no windows in the primary monitor spill
to other monitors. However, not clipping non-primary monitors might
end up in situations where their windows spill into the primary one.

Make sure to only clip workspace views of non-primary monitors.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1691>

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 0bc25251c1601f5147cd7c75b5ddfc1a1eebe6f4..c4b3d82528ede1924d26b317a0326b4f988c358b 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -24,7 +24,7 @@ var WorkspacesViewBase = GObject.registerClass({
     _init(monitorIndex, overviewAdjustment) {
         super._init({
             style_class: 'workspaces-view',
-            clip_to_allocation: true,
+            clip_to_allocation: monitorIndex !== Main.layoutManager.primaryIndex,
             x_expand: true,
             y_expand: true,
         });
@@ -581,7 +581,6 @@ var WorkspacesDisplay = GObject.registerClass(
 class WorkspacesDisplay extends St.Widget {
     _init(controls, scrollAdjustment, overviewAdjustment) {
         super._init({
-            clip_to_allocation: true,
             layout_manager: new Clutter.BinLayout(),
         });